Church–Turing thesis
チャーチ＝チューリングのテーゼ
abstract machine
Church's thesis in constructive mathematics
Church–Turing–Deutsch principle
, which states that every physical process can be simulated by a universal computing device
computability logic
computability theory
decidability
hypercomputation
model of computation
oracle
(computer science)
super-recursive algorithm
Turing completeness
Church–Turing thesis - Wikipedia